Classification of compatible module orderings
نویسندگان
چکیده
منابع مشابه
On Computing Janet Bases for Degree Compatible Orderings
We consider three modifications of our involutive algorithm for computing Janet bases. These modifications are related to degree compatible monomial orders and specify selection strategies for non-multiplicative prolongations. By using the standard data base of polynomial benchmarks for Gröbner bases software we compare the modifications and confront them with Magma that implements Faugère’s F4...
متن کاملProving Associative-Communicative Termination Using RPO-Compatible Orderings
Developing path orderings for associative-commutative (AC) rewrite systems has been quite a challenge at least for a decade. Compatibility with the recursive path ordering (RPO) schemes is desirable, and this property helps in orienting the commonly encountered distributiv-ity axiom as desired. For applications in theorem proving and constraint solving, a total ordering on ground terms involvin...
متن کاملOn the classification of term orderings types
Admissible orderings on the set of terms arise in the theory of Gröbner bases of ideals in multivariate polynomial rings. These orderings have already been classified by a constructive proof of the embedding theorem for ordered groups. We approach the subject from a different viewpoint by exploiting some fundamental results from the theory of latticeordered groups. This framework allows us to p...
متن کاملClassification of Finite Coloured Linear Orderings
This paper concerns the classification of finite coloured linear orders up to n-equivalence. Ehrenfeucht-Fräıssé games are used to define what this means, and also to help analyze such structures. We give an explicit bound for the least number g(m, n) such that any finite m-coloured linear order is n-equivalent to some ordering of size ≤ g(m, n), from which it follows that g is computable. We g...
متن کاملDevelopment of an MR-compatible DOI-PET detector module
Department of Electrical Engineering, Tsinghua University, Beijing, China Silicon Photomultiplier (SiPM) is a promising sensor for MR-compatible PET systems. In this paper, we developed a compact 2-layer DOI-PET detector. The top layer is a 15Ã15 LYSO array, and the crystal size is 2x2x7mm. The bottom layer is a 16Ã16 array with the same size crystals. There is half-crystal offset between two l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1999
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(98)00054-1